順序機械(sequential machine)

記憶内容と新たな入力との組み合わせによって次の動作が決まるような機械を順序機械という

記憶内容は有限種類の内容である

記憶内容のことを状態や内部状態ともいう

入力により引き起こされる記憶内容＝状態の変化を状態遷移という state transition

入力列を出力列に変換するので、transducerとも呼ばれる部類に属する

数学的に表現する

ミーリー型とムーア型は相互変換が可能であり、その意味において同等の能力を持っている